-
A minimal, pure specification logic programming language with meta-language capability.
axiomatic language  higher-order logic  HiLog 
www.axiomaticlanguage.org - 2009-02-07
-
Real World Artificial Intelligence applications including rule-based systems, knowledge, logic, expert systems, agents, NLP, data mining, learning, speech and ...
Backpropogation 
www.pcai.com - 2009-02-07
|
autocad
c++
prolog compiler
j2ee
java
decision support
.net
artificial intelligence
cnc
autodesk
prolog
cad
robotics
logic
cam
design
business
|
|